Extension problems in intuitionistic plane projective geometry. II
نویسندگان
چکیده
منابع مشابه
Formalizing Projective Plane Geometry in Coq
We investigate how projective plane geometry can be formalized in a proof assistant such as Coq. Such a formalization increases the reliability of textbook proofs whose details and particular cases are often overlooked and left to the reader as exercises. Projective plane geometry is described through two different axiom systems which are formally proved equivalent. Usual properties such as dec...
متن کاملGround Plane Obstacle Detection using Projective Geometry
|The problem addressed in this paper is obstacle detection in the context of mobile robot navigation using visual information. The goal is achieved by analyzing successive pairs of time varying images acquired with the TV camera mounted on the moving robot. Assuming the robot is moving on a at ground, any obstacle is identi ed by any cluster of points not coplanar with the largest number of poi...
متن کاملProjective Geometry II: Holonomy Classification
The aim of this paper and its prequel is to introduce and classify the holonomy algebras of the projective Tractor connection. This is achieved through the construction of a ‘projective cone’, a Ricci-flat manifold one dimension higher whose affine holonomy is equal to the Tractor holonomy of the underlying manifold. This paper uses the result to enable the construction of manifolds with each p...
متن کاملProjective Geometry II: Cones and Complete Classifications
The aim of this paper and its prequel is to introduce and classify the irreducible holonomy algebras of the projective Tractor connection. This is achieved through the construction of a ‘projective cone’, a Ricci-flat manifold one dimension higher whose affine holonomy is equal to the Tractor holonomy of the underlying manifold. This paper uses the result to enable the construction of manifolds...
متن کاملProjective Root-Locus: An Extension of Root-Locus Plot to the Projective Plane
In this paper we present an extension of the classical Root-Locus (RL) method where the points are calculated in the real projective plane instead of the conventional affine real plane; we denominate this extension of the Root-Locus as “Projective Root-Locus (PjRL)”. To plot the PjRL we use the concept of “Gnomonic Projection” in order to have a representation of the projective real plane as a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae (Proceedings)
سال: 1963
ISSN: 1385-7258
DOI: 10.1016/s1385-7258(63)50036-5